e76febc4bbad2df062adc91ae62e0d645d0b542c,FstPlugin/src/org/workcraft/plugins/fst/task/StgToFstConversionResultHandler.java,StgToFstConversionResultHandler,finished,#Result#String#,43
In pattern: SUPERPATTERN
Frequency: 6
Non-data size: 3
Instances
1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,FstPlugin/src/org/workcraft/plugins/fst/task/StgToFstConversionResultHandler.java,StgToFstConversionResultHandler,finished,#Result#String#,43
1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,FstPlugin/src/org/workcraft/plugins/fst/task/PetriToFsmConversionResultHandler.java,PetriToFsmConversionResultHandler,finished,#Result#String#,35
1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java,CheckDataflowDeadlockTask,run,#ProgressMonitor#,44
1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatCscConflictResolutionResultHandler.java,MpsatCscConflictResolutionResultHandler,run,#,46
1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,PolicyPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java,CheckDeadlockTask,run,#ProgressMonitor#,43
1486033854
danilovesky@gmail.com
tuura/workcraft,e76febc4bbad2df062adc91ae62e0d645d0b542c,PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/AstgExporter.java,AstgExporter,export,#Model#OutputStream#,36